/***************************************************************************************
* Copyright (c) 2014-2022 Zihao Yu, Nanjing University
*
* NEMU is licensed under Mulan PSL v2.
* You can use this software according to the terms and conditions of the Mulan PSL v2.
* You may obtain a copy of Mulan PSL v2 at:
*          http://license.coscl.org.cn/MulanPSL2
*
* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
*
* See the Mulan PSL v2 for more details.
***************************************************************************************/

/*#include <device/map.h>*/
/*#include <device/alarm.h>*/
/*#include <utils.h>*/
#include <common.h>

static uint32_t *rtc_port_base = NULL;

uint64_t get_time();
static void rtc_io_handler(uint32_t offset, int len, bool is_write) {
	assert(offset == 0 || offset == 4);
	if (!is_write) {
		uint64_t us = get_time();
		//printf("0x%lx\n",us);
		rtc_port_base[0] = (uint32_t)us;
		rtc_port_base[1] = us >> 32;
	}
}

/*#ifndef CONFIG_TARGET_AM*/
/*static void timer_intr() {*/
  /*if (nemu_state.state == NEMU_RUNNING) {*/
    /*extern void dev_raise_intr();*/
    /*dev_raise_intr();*/
  /*}*/
/*}*/
/*#endif*/

void init_timer() {
	rtc_port_base = (uint32_t *)new_space(8);
	add_mmio_map("rtc", RTC_ADDR, rtc_port_base, 8, rtc_io_handler);
}
